---

stepwise program refinement

英 [ˈstepwaɪz ˈprəʊɡræm rɪˈfaɪnmənt] 美 [ˈstepwaɪz ˈproʊɡræm rɪˈfaɪnmənt]

【计】逐步程序求精

计算机

---

---